• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۳۰۹ پاسخ غیر تکراری از ۳۱۰ پاسخ تکراری در مدت زمان ۰,۵۳ ثانیه یافت شد.

181. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings

پدیدآورنده: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
258
,
259
مشاهده در قفسه مجازی RIS Bibtex ISO

182. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings

پدیدآورنده: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
258-259
مشاهده در قفسه مجازی RIS Bibtex ISO

183. PARLE: parallel architectures and languages Europe: Eindhoven, the Netherlands, June 15-19, 1987: proceedings

پدیدآورنده: edited by J. W. de Bakker, A. J. Nijman and P. C. Treleaven

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
5
.
C619
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

184. PEPM ʹ09 : proceedings of the ...

پدیدآورنده: ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (Savannah, Georgia, USA : 2009)

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Compiling (Electronic computers) - Congresses ► Programming languages (Electronic computers) -Congresses ► Programming languages (Electronic computers) - Semantics - Congresses ► Computer programming - Congresses

رده :
005
.
A184p
مشاهده در قفسه مجازی RIS Bibtex ISO

185. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses

رده :
QA
75
.
5
.
P47
مشاهده در قفسه مجازی RIS Bibtex ISO

186. Practical aspects of declarative languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

رده :
RIS Bibtex ISO

187. Practical aspects of declarative languages :

پدیدآورنده: Pascal Van Hentenryck (ed.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
7
.
P32
2006
مشاهده در قفسه مجازی RIS Bibtex ISO

188. Practical aspects of declarative languages

پدیدآورنده: Andy Gill, Terrance Swift (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
615
.
P33
2009eb
مشاهده در قفسه مجازی RIS Bibtex ISO

189. Practical aspects of declarative languages

پدیدآورنده: / Michael Hanus (ed.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Programming languages (Electronic computers)--Semantics--Congresses

رده :
QA
,
76
.
7
,.
P32
,
2007
مشاهده در قفسه مجازی RIS Bibtex ISO

190. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings

پدیدآورنده: Gopal Gupta )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1551
مشاهده در قفسه مجازی RIS Bibtex ISO

191. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

پدیدآورنده: Enrico Pontelli, Vitor Santos Costa )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming

رده :
QA
76
.
L28
Vol
.
1753
مشاهده در قفسه مجازی RIS Bibtex ISO

192. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

پدیدآورنده: Manuel Hermenegildo, Daniel Cabeza )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3350
مشاهده در قفسه مجازی RIS Bibtex ISO

193. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings

پدیدآورنده: Michael Hanus )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
4354
مشاهده در قفسه مجازی RIS Bibtex ISO

194. Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

پدیدآورنده: Shriram Krishnamurthi, C.R. Ramakrishnan )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
2257
مشاهده در قفسه مجازی RIS Bibtex ISO

195. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings

پدیدآورنده: Bharat Jayaraman )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3057
مشاهده در قفسه مجازی RIS Bibtex ISO

196. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

پدیدآورنده: Veronica Dahl, Philip Wadler )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
2562
مشاهده در قفسه مجازی RIS Bibtex ISO

197. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

پدیدآورنده: I.V. Ramakrishnan

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1990
مشاهده در قفسه مجازی RIS Bibtex ISO

198. Proceedings

پدیدآورنده :

موضوع : Congresses ، Programming languages )Electronic computers(

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

199. Proceedings

پدیدآورنده: IEEE Computer Society International Conference on Computer Languages )6891: Miami, Fl.(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
7
.
I17
1986
مشاهده در قفسه مجازی RIS Bibtex ISO

200. Proceedings of the ...

پدیدآورنده: Higher order workshop, 4th, Banff, Alberta, 1990

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Parallel processing (Electronic computers)- Congresses ► Programming languages (Electronic computers)- Congress ► Automatic theorem proving- Congresses

رده :
004
H638p
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 16
  • 15
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال